EWD : A Metamodeling Driven Customizable MultiMoC System Modeling Environment

To model complex embedded systems, one needs a modeling framework that allows expressibility and fidelity to capture multiple models of computation (MoC)s and their interaction. However, none of the available multi-MoC frameworks such as Ptolemy and SystemC extensions are as easily customizable by users, as metamodeling frameworks proposed in software engineering, such as GME (Generic Modeling Environment). Also, none of these are multi-targeted in the sense that several special purpose models for synthesis, analysis or verification can automatically be generated from the framework. We therefore, present EWD environment and methodology, based on GME, which allows users to customize the MoC specific visual modeling syntax, allowing design-time automatic syntactic and semantic checks on the models for conformance to their metamodel. Furthermore, we have built parsing and translation tools to save such models in an XML based interoperability language (IML). The IML format is in turn translated into Standard ML (SML) or Haskell models, which can then be executed and analyzed either by our existing model analysis tools, or the ForSyDe environment. We also generate SMV code from the XML format to obtain verification models. In summary, EWD is a novel visual multi-MoC modeling environment with interoperable intermediate representation of models, and has facilities to enforce syntactic and semantic checks and the ability to generate code for multiple target environments for further analysis and execution. The flexibility and interoperability comes from the metamodeling environment GME, and use of XML based intermediate representation. EWD : A Metamodeling Driven Customizable MultiMoC System Modeling Environment Deepak A. Mathaikutty, Hiren D. Patel & Sandeep K. Shukla {damathai, hiren, shukla}@vt.edu, EWD: A Metamodeling Driven Customizable Multi-MoC System Modeling Environment Deepak Mathaikutty, Hiren Patel and Sandeep Shukla {mathaikutty, hiren, shukla}@vt.edu, Center for Embedded Systems in Critical Applications (CESCA), Virginia Polytechnic Institute and State University, Blacksburg. Axel Jantsch {[email protected]} Department of Microelectronics and Information Technology, Royal Institute of Technology, Stockholm.